Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
531	2 First Steps in Symbolization 1 The sentential connectives The premises and the conclusions of the arguments of Chapter One are complete sentences of English, but some of these sentences themselves consist in Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1999-07-23 18:30:57 Propositional calculus Propositions Predicate logic Logical syntax Statements Interpretation Logical connective Atomic sentence Sentence Logic Mathematical logic Linguistics
532	C HEMISTRY S TUDIO A N I NTELLIGENT T UTORING S YSTEM Abhishek Kar, Akshay Mittal, Ankit Kumar & Ashish Gupta Prof. Amey Karkare Dr. Sumit Gulwani (MSR Redmond) Dr. Ashish Tiwari (SRI) Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-11-24 04:10:34 Predicate logic Philosophical logic Semantics Universal quantification Philosophy Quantification Logic Science
533	Objective Bayesian Epistemology for Inductive Logic on Predicate Languages J¨ urgen Landes and Jon Williamson Philosophy Department and Centre for Reasoning University of Kent Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Justification Epistemology Statistical inference Statistical theory Bayesian probability Theory of justification Dempster–Shafer theory Inductive reasoning Principle of maximum entropy Statistics Probability Bayesian statistics
534	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
535	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Predicate logic Propositional calculus Theories of truth Truth Predicate Modal logic Model theory Law of excluded middle Kripke semantics Logic Philosophical logic Mathematical logic
536	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1, and Eran Yahav2 1 ETH Zurich {andrei.dan,martin.vechev}@inf.ethz.ch 2 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-05-09 12:11:08 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function Interpretation Mathematical logic Logic Mathematics
537	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:48:53 Predicate logic Predicate transformer semantics Program logic Logic programming B-tree Predicate FO Symbol Theoretical computer science Logic Mathematical logic
538	Abstracta 5 : 1, pp. 30 – 42, 2009 FEATURE-PLACING SENTENCES AND THE CANONICAL SCHEME Xiaoqiang Han Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Predicate logic Semantics Analytic philosophers Mathematical logic Propositional calculus Willard Van Orman Quine Proposition Predicate First-order logic Logic Linguistics Philosophy
539	Joint Unsupervised Coreference Resolution with Markov Logic Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA[removed], U.S.A. Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 16:47:48 Artificial intelligence Predicate logic Theoretical computer science Information extraction Natural language processing Mathematical logic Markov logic network Coreference Resolution Logic Science Mathematics
540	From: AAAI-88 Proceedings. Copyright ©1988, AAAI (www.aaai.org). All rights reserved. eyornd HSA: Structures Paul R. Cohen Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-09 19:34:02 Transitivity Logic Knowledge representation and reasoning Linguistics Science Reasoning Mereology Predicate logic

UPDATE